CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Confer...
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Confer... by Abdulla, Parosh Aziz, Leino... ISBN: 9783642198342 List Price: $95.00
$51.31 (Save 45%)
2.
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 1...
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 1... by Silva, Alexandra, Leino, K.... ISBN: 9783030816872
$46.78
3.
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 1...
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 1... by Silva, Alexandra, Leino, K.... ISBN: 9783030816841
$46.78
4.
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, V...
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, V... by Jobstmann, Barbara, Leino, ... ISBN: 9783662491218 List Price: $107.00
$51.31 (Save 52%)
5.
Program Proofs
Program Proofs by Leino, K. Rustan M., Leino,... ISBN: 9780262546232
$62.51 Own it? Sell it back for $8.91